////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// Copyright (c) Microsoft Corporation.  All rights reserved.
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

#ifndef _DRIVERS_BOOT_DECL_H_
#define _DRIVERS_BOOT_DECL_H_ 1

//--//

extern "C" 
{
    void EntryPoint();

    // implement this function as a NOP if the system has already booted
    void BootstrapCode();

    void PrepareImageRegions();

    void BootEntry();

    // WARNING: implement the PreStackInit method in assembly code because it is called before
    // the stack is initialized
    void PreStackInit(); 
}

#endif // _DRIVERS_BOOT_DECL_H_
